Lebesgue's Convergence Theorem of Complex-Valued Function
نویسندگان
چکیده
منابع مشابه
Lebesgue's Convergence Theorem of Complex-Valued Function
In this article, we formalized Lebesgue’s Convergence theorem of complex-valued function. We proved Lebesgue’s Convergence Theorem of realvalued function using the theorem of extensional real-valued function. Then applying the former theorem to real part and imaginary part of complex-valued functional sequences, we proved Lebesgue’s Convergence Theorem of complexvalued function. We also defined...
متن کاملLATTICE-VALUED CATEGORIES OF LATTICE-VALUED CONVERGENCE SPACES
We study L-categories of lattice-valued convergence spaces. Suchcategories are obtained by fuzzifying" the axioms of a lattice-valued convergencespace. We give a natural example, study initial constructions andfunction spaces. Further we look into some L-subcategories. Finally we usethis approach to quantify how close certain lattice-valued convergence spacesare to being lattice-valued topologi...
متن کاملThe Bounded Convergence Theorem for Riesz Space-Valued Choquet Integrals
The bounded convergence theorem on the Riesz space-valued Choquet integral is formalized for a sequence of measurable functions converging in measure and in distribution. 2010 Mathematics Subject Classification: Primary 28B15; Secondary 28A12, 28E10
متن کاملOn L Convergence of Fourier Series of Complex Valued Functions
In the present paper, we give a brief review of L 1-convergence of trigonometric series. Previous known results in this direction are improved and generalized by establishing a new condition.
متن کاملIntegral of Complex-Valued Measurable Function
In this article, we formalized the notion of the integral of a complex-valued function considered as a sum of its real and imaginary parts. Then we defined the measurability and integrability in this context, and proved the linearity and several other basic properties of complex-valued measurable functions. The set of properties showed in this paper is based on [15], where the case of real-valu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2009
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-009-0015-9